The lambda - q calculus can efficiently simulate quantum computers
نویسنده
چکیده
We show that the lambda-q calculus can efficiently simulate quantum Turing machines by showing how the lambda-q calculus can efficiently simulate a class of quantum cellular automaton that are equivalent to quantum Turing machines. We conclude by noting that the lambda-q calculus may be strictly stronger than quantum computers because NP-complete problems such as satisfiability are efficiently solvable in the lambda-q calculus but there is a widespread doubt that they are efficiently solvable by quantum computers.
منابع مشابه
Programming complex systems
Classical programming languages cannot model essential elements of complex systems such as true random number generation. This paper develops a formal programming language called the lambda-q calculus that addresses the fundamental properties of complex systems. This formal language allows the expression of quantumized algorithms, which are extensions of randomized algorithms in that probabilit...
متن کاملExtending the Lambda Calculus to Express Randomized and Quantumized Algorithms
This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification of classical programming languages. As an intermediary step, we introduce a formal metalanguage called the lambdap calculus for the specification of program...
متن کاملConfluence Results for a Quantum Lambda Calculus with Measurements
A strong confluence result for Q, a quantum λ-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but innovative. This makes Q different from similar quantum lambda calculi, which are either measurement-free or provided with a reduction strategy.
متن کاملCompleteness of algebraic CPS simulations
The algebraic lambda calculus (λalg) and the linear algebraic lambda calculus (λlin) are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application argume...
متن کاملA Lambda Calculus for Quantum Computation with Classical Control
In this paper, we develop a functional programming language for quantum computers, by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the “quantum data, classical control” paradigm, following the first author’s work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine ...
متن کامل